Virtual Stochastic Sensors: How to Gain Insight into Partially Observable Discrete Stochastic Systems
نویسندگان
چکیده
This paper introduces the idea of a Virtual Stochastic Sensor. This paradigm enables the analysis of unobservable processes in discrete stochastic systems. Just like a virtual sensor, we use physical sensor readings to deduce the value of the quantity of interest. However, both the physical sensor readings and their relationship with the quantity of interest are stochastic. Therefore the measurement of our virtual stochastic sensor is a statistical estimate of the true value. We describe a method to compute the result of the virtual stochastic sensor and show its validity and real-time capability for two example models. We also give system properties that must apply in order for the feasibility of virtual stochastic sensors, such as the sensitivity of the physical sensor output to changes in the quantity of interest. The future potential of virtual stochastic sensors is their variability. They can be used to gain insight into hidden processes of partially observable systems, using readily available data. They enable online monitoring of production lines using already recorded data to ensure optimal control and maximum production efficiency.
منابع مشابه
Reconstructing Model Parameters in Partially-Observable Discrete Stochastic Systems
The analysis of partially-observable discrete stochastic systems reconstructs the unobserved behavior of real-world systems. An example for such a system is a production facility where indistinguishable items are produced by two machines in stochastically distributed time intervals and are then tested by a single quality tester. Here, the source of each defective item can be reconstructed later...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملOptimal Control of Partially Observable Linear Quadratic Systems with Asymmetric Observation Errors
This paper deals with the optimal quadratic control problem for non-Gaussian discrete-time stochastic systems. Our main result gives explicit solutions for the optimal quadratic control problem for partially observable dynamic linear systems with asymmetric observation errors. For this purpose an asymmetric version of the Kalman filter based on asymmetric least squares estimation is used. We il...
متن کاملA Stochastic Optimal Control Strategy for Partially Observable Nonlinear Systems
A stochastic optimal control strategy for partially observable nonlinear systems is proposed. The optimal control force consists of two parts. The first part is determined by the conditions under which the stochastic optimal control problem of a partially observable nonlinear system is converted into that of a completely observable linear system. The second part is determined by solving the dyn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2010